Jus post Bellum is, like Jus ad Bellum and Jus in Bello, a part of just war theory. Jus post Bellum is distinguished from the other parts of just war theory by being primarily concerned with the principles necessary for securing a just and lasting peace after the end of a war. Traditionally, jus post bellum has focused primarily on three goals: [1] compensating those who have been the victims of unjust aggression, while respecting the rights of the aggressors, [2] (...) punishing and rehabilitating those guilty of war crimes and other violations of the principles of Jus ad Bellum and Jus in Bello and [3] developing measures that will prevent future war and violence (Orend 2000 and May 2012). In this chapter, I outline an account of political forgiveness and explain the role that political forgiveness can have in promoting the goals of jus post bellum. My conception of political forgiveness requires some unpacking. Let me begin with individual forgiveness, which I understand along familiar Butlerian lines as the renunciation of resentment (Butler, Sermon IX in McNaughton 2017: 75-83), though with a bit of a twist. More exactly, ● An individual, I, forgives J for doing F if and only if I renounces all her own warrant for resenting J for doing F. Resentment is a judgment-sensitive attitude, and, therefore, it tends to track judgments concerning its warrant (Scanlon 1998: 20 and Smith 2015). In cases of perfect forgiveness, I’s renunciation causes her to cease feeling resentment toward J for doing F, though, of course, less perfect cases are possible. I reject the idea that there is a sharp discontinuity between individual and political forgiveness, a position argued for by, e.g., Peter Digeser (1998 and 2001). By contrast, I understand political forgiveness as the renunciation of resentment by the relevant political body in question. With greater precision, ● A sovereign political body, P, forgives J for doing F if and only if P renounces all warrant that its citizens have for resenting, as part of their public lives, J for doing F. A little more explanation is in order. Sovereign political bodies, such as national governments, claim degrees of control over the lives of their citizens, in both their public and their private aspects, though the claims with respect to the former tend to be considerably more expansive than the claims with respect to the latter. I assume here that, at least in the case of legitimate governments, these claims of control are often valid. Such governments may reasonably renounce certain grounds for motivating action in the public sphere. For example, governments may renounce all warrant that its citizens have, as part of their public lives, for hating members of marginalized groups. In practice, this means that, while citizens might continue to act in their private lives out of hatred for members of these groups, their appeal to this hatred is seen by the state as irrelevant to matters of law and public policy as well as being wholly out-of-place in public discourse. Political forgiveness toward J for doing F, as I understand it, involves an analogous rejection of resentment, on the part of citizens in their public lives, toward J for doing F. I turn now to the matter of how political forgiveness supports securing a just and lasting peace between former belligerents. With respect to the first goal of jus post bellum, political forgiveness helps to balance compensation for victims and respect for the rights of defeated aggressors by countering the all-too-human tendency to overvalue harms done to oneself and to members of one’s group. As regards the second goal, political forgiveness plays a similar role but also provides a model for rehabilitation by exemplifying among the victorious the behavior to be emulated by the vanquished. Finally, political forgiveness promotes the third goal of jus post bellum by providing a space for nations to meet as moral equals rather than allowing one nation to have the moral high ground over the other. None of this, of course, means that political forgiveness should be unearned or that it should be confused with condonation (Kolnai 1973 and Pettigrove 2004). However, the question of what is required to put oneself in a position to be forgiven as part of jus post bellum is a matter that goes beyond the scope of this chapter. (shrink)

Recently, a number of cases have been proposed which seem to show that – contrary to widely held opinion – a subject can inferentially come to know some proposition p from an inference which relies on a false belief q which is essential. The standard response to these cases is to insist that there is really an additional true belief in the vicinity, making the false belief inessential. I present a new kind of case suggesting that a subject can inferentially (...) come to know a proposition from an essential false belief where no truth in the vicinity seems to be present. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:What's so Important about Music Education?Leonard TanJ. Scott Goble, What's so Important about Music Education? (New York, NY: Routledge, 2010)In What's so Important about Music Education, J. Scott Goble proposes a new philosophical foundation for music education in the United States based on the theory of semiotics by American pragmatist Charles Sanders Peirce. Following a brief summary, I will note several merits in Goble's book before sketching (...) four recommendations for future editions.In Chapter One, Goble notes how the inclusion of non-Western musics in the public schools as espoused in the 1967 Tanglewood Declaration has raised two crucial questions: "Whose music should be included in the curriculum?" and "What is the role or social importance of public school music education in the United States as a postmodern society?" Noting that music education was established in the United States during the modern era, and that the Tanglewood Declaration did not account for vast differences in beliefs about music, Goble argues that there is a need to establish a new philosophical foundation that can accommodate the varied beliefs and practices of diverse cultural groups in postmodern United States.In Chapter Two, Goble sketches and critiques five cultural anthropologists. Of the five, he singles out Clifford Geertz's conception of culture as "semiotic [End Page 201] webs" (p. 20) as the conceptual foundation that is appropriate for this study. He then links Geertz's notion of culture to the semiotic theory of C. S. Peirce which is to become the theoretical underpinning of the book. Subsequently, he unpacks many key Peircian themes: human conceptions are maintained not individually but collectively in cultural groups, provisional truth (as opposed to absolute Truth) is relative and dependent on conceptions of communities, and the scientific method is the sole mode of inquiry by which people in communities may use to satisfy their doubts to formulate beliefs. Most importantly, Goble expounds the "pragmatic maxim" that since humans live in communities united by common beliefs, "the 'clear' meaning of an idea held by a member of the community will almost inevitably stem from the beliefs—or ways of understanding—held by members of that community" (p. 30). Goble concludes the chapter by presenting the Peircian semiotic system of cognition which posits that a "sign" is conceptualized in a triadic relationship: the Sign or "Firstness," the Object or "Secondness," and the Interpretant or "Thirdness" (p. 33).In Chapter Three, Goble considers how music is a sign based on the theoretical framework laid in Chapter Two. Drawing on the work of ethnomusicologists, anthropologists, psychiatrists, and a neuroscientist, he formulates a Peircian pragmatic approach to musical practices which posits that "the musical practices of different cultural communities represent a diverse cluster of community-specific ritualized behaviors involving sound" (p. 252). Furthermore, each of the musical practices "serves those persons who meaningfully participate in it as a means of psychophysiological, psychosocial, and/or sociopolitical equilibration relative to the worldview—or ordered conception of Reality—they tacitly share" (p. 252). For Goble, this pragmatist conception of musical practices is neither ethnocentric, universalist, nor relativist, and can serve as a conceptual framework for all diverse musical practices in postmodern United States.With the Peircian pragmatic conception in mind, Goble examines historical factors that contributed to current conceptions of music in the United States in Chapter Four. He laments that as a result of European Enlightenment and three socio-political phenomena in the United States (the separation of church and state, promotion of no other worldview than democracy, and adoption of democratic capitalism), music is no longer pragmatically oriented but trivialized and pursued by self-serving musicians.In Chapter Five, Goble traces the philosophical justifications for music education throughout the history of the United States. While the sign "musical practice" was conceptualized as "worship" in colonial America, the sign "music" was conceived as "art" during the age of Enlightenment, and as "product" during the age of science and technology. Noting that Bennett Reimer's music education as aesthetic education is limited in its Western focus on music as works [End Page 202] of artistic objects, Goble aligns his Peircian conception along praxial lines—in particular, with... (shrink)

According to an orthodox view, the capacity for conscious experience (sentience) is relevant to the distribution of moral status and value. However, physicalism about consciousness might threaten the normative relevance of sentience. According to the indeterminacy argument, sentience is metaphysically indeterminate while indeterminacy of sentience is incompatible with its normative relevance. According to the introspective argument (by François Kammerer), the unreliability of our conscious introspection undercuts the justification for belief in the normative relevance of consciousness. I defend the normative relevance (...) of sentience against these objections. First, I demonstrate that physicalists only have to concede a limited amount of indeterminacy of sentience. This moderate indeterminacy is in harmony with the role of sentience in determining moral status. Second, I argue that physicalism gives us no reason to expect that introspection is unreliable with respect to the normative relevance of consciousness. (shrink)

Which artificial intelligence (AI) systems are agents? To answer this question, I propose a multidimensional account of agency. According to this account, a system's agency profile is jointly determined by its level of goal-directedness and autonomy as well as is abilities for directly impacting the surrounding world, long-term planning and acting for reasons. Rooted in extant theories of agency, this account enables fine-grained, nuanced comparative characterizations of artificial agency. I show that this account has multiple important virtues and is more (...) informative than alternatives. More speculatively, it may help to illuminate two important emerging questions in AI ethics: 1. Can agency contribute to the moral status of non-human beings, and how? 2. When and why might AI systems exhibit power-seeking behaviour and does this pose an existential risk to humanity? (shrink)

Numerous authors have expressed concern that advanced artificial intelligence (AI) poses an existential risk to humanity. These authors argue that we might build AI which is vastly intellectually superior to humans (a ‘superintelligence’), and which optimizes for goals that strike us as morally bad, or even irrational. Thus, this argument assumes that a superintelligence might have morally bad goals. However, according to some views, a superintelligence necessarily has morally adequate goals. This might be the case either because abilities for moral (...) reasoning and intelligence mutually depend on each other, or because moral realism and moral internalism are true. I argue that the former argument misconstrues the view that intelligence and goals are independent, and that the latter argument misunderstands the implications of moral internalism. Moreover, the current state of AI research provides additional reasons to think that a superintelligence could have bad goals. (shrink)

Which animals have conscious experiences? Many different, diverse and unrelated behaviors and cognitive capacities have been proposed as tests of the presence of consciousness in an animal. It is unclear which of these tests, if any, are valid. To remedy this problem, I develop a list consisting of eight desiderata which can be used to assess putative tests of animal consciousness. These desiderata are based either on detailed analogies between consciousness-linked human behavior and non-human behavior, on theories of consciousness or (...) on methods from human consciousness science. If a test or set of tests satisfies more of these desiderata, passing it provides stronger evidence of consciousness. Moreover, one can design future tests of animal consciousness with the intention of satisfying these desiderata to ensure their evidential strength. (shrink)

Roughly, empirical AI alignment research (AIA) is an area of AI research which investigates empirically how to design AI systems in line with human goals. This paper examines the role of non-epistemic values in AIA. It argues that: (1) Sciences differ in the degree to which values influence them. (2) AIA is strongly value-laden. (3) This influence of values is managed inappropriately and thus threatens AIA’s epistemic integrity and ethical beneficence. (4) AIA should strive to achieve value transparency, critical scrutiny (...) from inside and outside the discipline – involving the public –, and to empower actors without strong commercial interests. (shrink)

Sensorimotor enactivism is the view that the content and the sensory modality of perceptual experience are determined by implicit knowledge of lawful regularities between bodily movements and patterns of sensory stimulation. A proponent of the explanatory argument for sensorimotor enactivism holds that this view is able to provide an intelligible explanation for why certain material realizers give rise to certain perceptual experiences, while rival accounts cannot close this “explanatory gap”. However, I argue that the notion of the “material realizer” of (...) perceptual experience is ambiguous. On a narrow construal, the explanatory gap cannot be bridged, not even by enactivism. On a wide construal, enactivism gets a grip on the explanatory gap, but to the same extent do established theories of consciousness. Thus, on both horns of the dilemma, the explanatory power of enactivism is not superior to more traditional theories of conscious experience. (shrink)

Scientific method interests the linguist not only as it interests every scientific worker, but also in a special way, because the scientist, as part of his method, utters certain very peculiar speech-forms. The linguist naturally divides scientific activity into two phases: the scientist performs “handling” actions and utters speech. The speech-forms which the scientist utters are peculiar both in their form and in their effect upon hearers.

Ethics, Policy & Environment, Volume 15, Issue 2, Page 241-243, June 2012.

Building on recent formal work by Aleks Knoks, we explore how the idea that certain epistemic norms may be indeterminate could be implemented in a default logic.

Although some authors hold that natural kinds are necessarily relative to disciplinary domains, many authors presume that natural kinds must be absolute, categorical features of the reality —often assuming that without even mentioning the alternative. Recognizing both possibilities, one may ask whether the difference especially matters. I argue that it does. Looking at recent arguments about natural kind realism, I argue that we can best make sense of the realism question by thinking of natural kindness as a relation that holds (...) between a category and a domain. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

The paper Ethical Issues in Arms Technology is written to highlight and explain some ethical issues in arms production. These issues include the act of innovation; issues with weapons of mass destruction, the issue of privacy; humanizing arms technology, artificial intelligence – military killer robots, etc. The paper advocated for a critical evaluation of the structural and potential nature of arms before they are mass-produced. We need to ask and address all possible moral questions at research level rather than wait (...) for the technologies to be developed and sent to the market place. The research employed the methods of rational speculation, critical analysis, evaluation, and prescription to call for ethical assessment of all arms before they are made available to the markets. This paper advocate for a stop on the production of any arms technology that will destroy the relationship between man and his environment. Scientists and arms researchers should give ethics a stool the heart of their research and production. Before production, every arms technology template must be ethically worthy before consideration is made to mass-produce them. With this new development, we shall eradicate the production of non-human value-adding arms from our world. Humanity does not need everything. We should accept and produce only what we need. (shrink)

One recently proposed solution to the Liar paradox is the contextual theory of truth. Tyler Burge (1979) argues that truth is an indexical notion and that the extension of the truth predicate shifts during Liar reasoning. A Liar sentence might be true in one context and false in another. To many, contextualism seems to capture our pre-theoretic intuitions about the semantic paradoxes; this is especially due to its reliance on the so-called Revenge phenomenon. I, however, show that Super-Liar sentences (where (...) a Super-Liar sentence is a sentence which says of itself that it is not true in any context) generate a significant problem for Burge’s contextual theory of truth. (shrink)

The paper, Some Indigenous Solutions to African Environmental Problems: An Appraisal, is written to examine the relevance of African Environmental Philosophies to addressing African environmental problems. African environmental problems include: water pollution, air pollution, land pollution, climate change, flood and many more. Researchers have shown that these problems are caused by phenomena like coal mining, nuclear waste, deforestation, overfishing, wars, etc. It is a known fact that attempts have been made over the years to resolve these problems, with pockets of (...) successes, yet more needs to be done. Nigeria’s Niger Delta Development Commission, Kenya’s Bio-safty Act 2009, The National Environment Policy of Ghana, Oil Pipeline Act 2004, Nuclear Safety and Radiation Protection Act 2004 are a good example of such attempts with pockets of successes and challenges. This work uses the methods of rational speculation and critical analysis to examine aboriginal approaches to resolving African environmental challenges as recorded in Mark Omorovie Ikeke’s Philosophical Consciences, Caroline N. Mbonu’s Ecospiritualism, Thaddeus Metz’s Model Relationalism, and Chimakonam Jonathan Okeke’s Ohanifism. This work charged African environmental policymakers, Lecturers, and Students with the responsibility to understand and apply the theoretical foundation for sustainable living as recorded in the above philosophies. This is the time when Africans must use indigenous African methods and principles to proffer solutions to African environmental problems. (shrink)

L'Entente sur les tiers pays sûrs ratifiée par le Canada et les États-Unis en 2002 a transformé la conception de la souveraineté territoriale canadienne, tel qu'en témoigne le traitement accordé aux demandeur-euse-s d'asile ces dernières années. Arguant à l'effet que l'État canadien adopte une conception de la souveraineté territoriale étanche qui permet l'exercice d'un droit de sélection depuis la mise en place de l'ETPS, cet article propose de repenser un devoir politique d'accueil. La première partie de cet article examine la (...) dynamique d'externalisation de la migration à laquelle participe le Canada. La seconde partie propose une analyse du cadre normatif développé par l'ETPS justifié par un droit de « choisir » les réfugié-e-s. La troisième partie propose une critique du modèle d'exclusion à l'oeuvre derrière l'ETPS et propose à cette fin de penser la responsabilité canadienne en tant que devoir politique à l'égard des populations qui demandent l'asile. (shrink)

The notion of a simulating termination analyzer is examined at the concrete level of pairs of C functions. This is similar to AProVE: Non-Termination Witnesses for C Programs. The termination status decision is made on the basis of the dynamic behavior of the input. This paper explores what happens when a simulating termination analyzer is applied to an input that calls itself.

Ned Markosian has recently defended a new theory of composition, which he calls regionalism : some material objects xx compose something if and only if there is a material object located at the fusion of the locations of xx. Markosian argues that regionalism follows from what he calls the subregion theory of parthood. Korman and Carmichael agree. We provide countermodels to show that regionalism does not follow from, even together with fourteen potentially implicit background principles. We then show that regionalism (...) does follow from five of those background principles together with and two additional principles connecting parthood and location, which we call and. While the additional principles are not uncontroversial, our conjecture is that many will find them attractive. We conclude by mentioning that fills a previously unnoticed gap in the formal theory of location presented in Parsons. (shrink)

The UN Convention against Torture defines torture as “any act by which severe pain or suffering, whether physical or mental, is intentionally inflicted on a person” by someone acting in an official capacity for purposes such as obtaining a confession or punishing or intimidating that person.1 It is unethical for healthcare professionals to participate in torture, including any use of medical knowledge or skill to facilitate torture or allow it to continue, or to be present during torture.2-7 Yet medical participation (...) in torture has taken place throughout the world and was a prominent feature of the US interrogation practice in military and Central Intelligence Agency (CIA) detention facilities in the years after the attacks of 11 September 2001.8-11 Little attention has been paid, however, to how a regime of torture affects the ability of health professionals to meet their obligations regarding routine clinical care for detainees. -/- The 2016 release of previously classified portions of guideline from the CIA regarding medical practice in its secret detention facilities sheds light on that question. These show that the CIA instructed healthcare professions to subordinate their fundamental ethical obligations regarding professional standards of care to further the objectives of the torturers. (shrink)

Recent debates between proponents of the modern evolutionary synthesis (the standard model in evolutionary biology) and those of a possible extended synthesis are a good example of the fascinating tangle among empirical, theoretical, and conceptual or philosophical matters that is the practice of evolutionary biology. In this essay, we briefly discuss two case studies from this debate, highlighting the relevance of philosophical thinking to evolutionary biologists in the hope of spurring further constructive cross-pollination between the two fields.

: New genetic technologies continue to emerge that allow us to control the genetic endowment of future children. Increasingly the claim is made that it is morally "irresponsible" for parents to fail to use such technologies when they know their possible children are at risk for a serious genetic disorder. We believe such charges are often unwarranted. Our goal in this article is to offer a careful conceptual analysis of the language of irresponsibility in an effort to encourage more care (...) in its use. Two of our more important sub-claims are: A fair judgment of genetic irresponsibility necessarily requires a thick background description of the specific reproductive choice; and there is no necessary connection between an act's being morally wrong and its being irresponsible. These are distinct judgments requiring distinct justifications. (shrink)

Philosophy has been a public endeavor since its origins in ancient Greece, India, and China. However, recent years have seen the development of a new type of public philosophy conducted by both academics and non- professionals. The new public philosophy manifests itself in a range of modalities, from the publication of magazines and books for the general public to a variety of initiatives that exploit the power and flexibility of social networks and new media. In this paper we examine the (...) phenomenon of public philosophy in its several facets, and investigate whether and in what sense it is itself a mix of philosophical practice and teaching. We conclude with a number of suggestions to academic colleagues on why and how to foster further growth of public philosophy for the benefit of society at large and of the discipline itself. (shrink)

Bioethicists appearing in the media have been accused of "shooting from the hip" (Rachels, 1991). The criticism is sometimes justified. We identify some reasons our interactions with the press can have bad results and suggest remedies. In particular we describe a target (fostering better public dialogue), obstacles to hitting the target (such as intrinsic and accidental defects in our knowledge) and suggest some practical ways to surmont those obstacles (including seeking out ways to write or speak at length, rather than (...) in sound bites). We make use of our own research into the way journalists quote bioethicists. We end by suggesting that the profession as a whole look into this question more fully. (shrink)

Some philosophers understand natural kinds to be the categories which are constraints on enquiry. In order to elaborate the metaphysics appropriate to such an account, I consider the complicated history of scurvy, citrus, and vitamin C. It may be tempting to understand these categories in a shallow way (as mere property clusters) or in a deep way (as fundamental properties). Neither approach is adequate, and the case instead calls for middle-range ontology: starting from categories which we identify in the world (...) and elaborating their structure, but not pretending to jump ahead to a complete story about fundamental being. (shrink)

A critical note on Christopher Bartel and Jack M. C. Kwong, ‘Pluralism, Eliminativism, and the Definition of Art’, Estetika 58 (2021): 100–113. Art pluralism is the view that there is no single, correct account of what art is. Instead, art is understood through a plurality of art concepts and with considerations that are different for particular arts. Although avowed pluralists have retained the word ‘art’ in their discussions, it is natural to ask whether the considerations that motivate pluralism should lead (...) us to abandon art talk altogether; that is, should pluralism lead to eliminativism? This paper addresses arguments both for and against this move. We ultimately argue that pluralism allows one to retain the word ‘art’, if one wants it, but only in a loose, conversational sense. The upshot of pluralism is that talk of art in general cannot be asked to do theoretical and philosophical work. (shrink)

There is a history of thinking that photographs provide a special kind of access to the objects depicted in them, beyond the access that would be provided by a painting or drawing. What is included in the photograph does not depend on the photographer’s beliefs about what is in front of the camera. This feature leads Kendall Walton to argue that photographs literally allow us to see the objects which appear in them. Current generative algorithms produce images in response to (...) users’ text prompts. Depending on the parameters, the output can resemble specific people or things which are named in the prompt. This resemblance does not depend on the user’s beliefs, so generated images are in this sense like photographs. Given this parallel, how should we think about AI-generated images? (shrink)

The Argument from Inductive Risk (AIR) is taken to show that values are inevitably involved in making judgements or forming beliefs. After reviewing this conclusion, I pose cases which are prima facie counterexamples: the unreflective application of conventions, use of black-boxed instruments, reliance on opaque algorithms, and unskilled observation reports. These cases are counterexamples to the AIR posed in ethical terms as a matter of personal values. Nevertheless, it need not be understood in those terms. The values which load a (...) theory choice may be those of institutions or past actors. This means that the challenge of responsibly handling inductive risk is not merely an ethical issue, but is also social, political, and historical. (shrink)

Tradução para o português do ensaio "Freedom and Resentment”, de P. F. Strawson. Publicado originalmente em Proceedings of the British Academy, v. 48, 1960. Republicado em Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 2-28]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da UFSC, 2015. ISBN: 9788532807250.

Tradução para o português do ensaio "Social Morality and Individual Ideal”. Publicado originalmente em Philosophy: The Journal of the Royal Institute of Philosophy, vol. XXXVI, n. 136, p. 1-17, Jan. 1961. Republicado em: STRAWSON, P. F. Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 26-44]. ]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da (...) UFSC, 2015. ISBN: 9788532807250. (shrink)

Tradução para o português do livro "Ceticismo e naturalismo: algumas variedades", Strawson, P. F. . São Leopoldo, RS: Editora da Unisinos, 2008, 114 p. Coleção: Ideias. ISBN: 9788574313214. Capítulo 1 - Ceticismo, naturalismo e argumentos transcendentais 1. Notas introdutórias; 2. Ceticismo tradicional; 3. Hume: Razão e Natureza; 4. Hume e Wittgenstein; 5. “Apenas relacionar”: O papel dos argumentos transcendentais; 6. Três citações; 7. Historicismo: e o passado.

In this paper, I reply to 18 of the essays on panpsychism in this issue. Along the way, I sketch out what a post-Galilean science of consciousness, one in which consciousness is taken to be a fundamental feature of reality, might look like.

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

It is now commonly held that values play a role in scientific judgment, but many arguments for that conclusion are limited. First, many arguments do not show that values are, strictly speaking, indispensable. The role of values could in principle be filled by a random or arbitrary decision. Second, many arguments concern scientific theories and concepts which have obvious practical consequences, thus suggesting or at least leaving open the possibility that abstruse sciences without such a connection could be value-free. Third, (...) many arguments concern the role values play in inferring from evidence, thus taking evidence as given. This paper argues that these limitations do not hold in general. There are values involved in every scientific judgment. They cannot even conceivably be replaced by a coin toss, they arise as much for exotic as for practical sciences, and they are at issue as much for observation as for explicit inference. (shrink)

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

Semantic theories that violate semantic innocence, that is require reference shifts when terms are embedded in ‘that’ clauses and the like, are often challenged by producing sentences where an anaphoric expression, while not itself embedded in a context in which reference shifts, is anaphoric on an antecedent expression that is embedded in such a context. This, in conjunction with a widely accepted principle concerning unproblematic anaphora (the ‘Principle of Anaphoric Reference’), is used to show that such reference shifting has absurd (...) consequences. We show that it is the widely accepted principle concerning anaphora that is to be blamed for these consequences and not the supposed sin of reference shifting. (shrink)

I've previously suggested that the historical evidence used to challenge scientific realism should lead us to embrace what I call Uniformitarianism, but many recently influential forms of scientific realism seem happy to share this commitment. I trace a number of further points of common ground that collectively constitute an appealing Middle Path between classical forms of realism and instrumentalism, and I suggest that many contemporary realists and instrumentalists have already become fellow travelers on this Middle Path without recognizing how far (...) they have thereby diverged from those who share their labels and slogans. I conclude by describing their central remaining disagreement and the sorts of evidence needed to resolve it. (shrink)

William James’ argument against William Clifford in The Will to Believe is often understood in terms of doxastic efficacy, the power of belief to influence an outcome. Although that is one strand of James’ argument, there is another which is driven by ampliative risk. The second strand of James’ argument, when applied to scientific cases, is tantamount to what is now called the Argument from Inductive Risk. Either strand of James’ argument is sufficient to rebut Clifford's strong evidentialism and show (...) that it is sometimes permissible to believe in the absence of compelling evidence. However, the two considerations have different scope and force. Doxastic efficacy applies in only some cases but allows any values to play a role in determining belief; risk applies in all cases but only allows particular conditional values to play a role. (shrink)

The problem considered in this chapter emerges from the tension we find when looking at the design and architecture of chatbots on the one hand and their conversational aptitude on the other. In the way that LLM chatbots are designed and built, we have good reason to suppose they don't possess second-order capacities such as intention, belief or knowledge. Yet theories of conversation make great use of second-order capacities of speakers and their audiences to explain how aspects of interaction succeed. (...) As we can all bear witness to now though, at the point of use chatbots appear capable of performing language tasks at a level close to that of humans. This creates a tension when we consider something like, for example, the classic Gricean theory of implicature. On a broad summary of this type of account, to utter p and implicate q requires the reflexive occurrence of an audience supposing a speaker believes that q, and the speaker believing that their audience can determine they believe it when they utter p. So taken at face value, if a chatbot doesn’t have the capacity for belief, then either in their role as speaker or audience, they would not seem capable of either generating or comprehending implicatures. Yet on the surface it does seem that chatbots are capable of dealing with (some) implicatures, and as such it raises questions about how we should then correlate this with what we think occurs in cases of implicature with chatbots. (shrink)

In this paper, I explore and defend the idea that musical works are historical individuals. Guy Rohrbaugh (2003) proposes this for works of art in general. Julian Dodd (2007) objects that the whole idea is outré metaphysics, that it is too far beyond the pale to be taken seriously. Their disagreement could be seen as a skirmish in the broader war between revisionists and reactionaries, a conflict about which of metaphysics and art should trump the other when there is a (...) conflict. That dispute is a matter of philosophical methodology as much as it is a dispute about art. I argue that the ontology of works as individuals need not be dunked in that morass. My primary strategy is to show, contra Dodd's accusation, that historical individuals are familiar parts of the world. Although the ontological details are open to debate, it is the standard opinion of biologists is that biological species are historical individuals. So there is no conflict here between fidelity to art and respectable metaphysics. What suits species will fit musical work as well. (shrink)

Peter Baumann offers the tantalizing suggestion that Thomas Reid is almost, but not quite, a pragmatist. He motivates this claim by posing a dilemma for common sense philosophy: Will it be dogmatism or scepticism? Baumann claims that Reid points to but does not embrace a pragmatist third way between these unsavory options. If we understand `pragmatism' differently than Baumann does, however, we need not be so equivocal in attributing it to Reid. Reid makes what we could call an argument from (...) practical commitment, and this is plausibly an instance of what William James calls the pragmatic method. (shrink)

The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scientific theories” (Stanford 2001, (...) p. S12). This paper examines Stanford’s New Induction and argues that it – like the other forms of underdetermination that he criticizes – merely recapitulates familiar philosophical conundra. (shrink)

One of the predominant debates in AI Ethics is the worry and necessity to create fair, transparent and accountable algorithms that do not perpetuate current social inequities. I offer a critical analysis of Reuben Binns’s argument in which he suggests using public reason to address the potential bias of the outcomes of machine learning algorithms. In contrast to him, I argue that ultimately what is needed is not public reason per se, but an audit of the implicit moral assumptions of (...) societies within which algorithms are built and applied. Public justification is appealing since it offers us the possibility to align the decision-making outcomes of the algorithm with the core moral values of stakeholders within a constitutional democratic society. My concern is that the common moral principles that form the foundation of public reason are not necessarily neutral, as they still express specific moral ideals and normative standards even if there is moral agreement by society as a whole, or among different stakeholders within society. Appealing to such normative standards may thus still lead to algorithmic outcomes being biased as common moral values may very well still be discriminatory even though they are formed from a consensus, and even if public reason is applied as a kind of filter for potential algorithmic outcomes. Hence, I argue that these implicit moral norms within society that we take as a given in public reasoning, need to be audited from generation to generation in order to effectively mitigate potential algorithmic bias. (shrink)

This paper appears to give a Theory of Everything.

Two philosophical arguments gave the novel interpretation of quantum mechanics Presentist Fragmentalism. This paper gives the resulting theory of quantum gravity.